Robust resource allocations through performance modeling with stochastic process algebra
نویسندگان
چکیده
منابع مشابه
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
Many formalisms and solution methods exist for performance and dependability modeling. However, different formalisms have different advantages and strengths, and no one formalism is universally used. The Möbius tool was built to provide multi-formalism multi-solution modeling, and allows the modeler to develop models in any supported formalism. A formalism can be implemented in Möbius if a mapp...
متن کاملA Software Performance Evaluation Approach Using Stochastic Process Algebra Tools
In this paper we present an integrated approach to the functional and performance analysis of software modeling provided by Stochastic Process Algebra (SPA). Three SPA languages have been appeared in the last decade and are widely used for software architecture and performance evaluation. We present these languages with the difference between them and we show by an example the methodology which...
متن کاملTowards reliable software performance modelling using stochastic process algebra
The aim of any modelling exercise is to develop a better understanding of the system that is being studied, however it is unfortunately not always easy to understand abstract performance models or the metrics that are derived from them. In this tutorial paper we focus on the facilitation of more reliable performance prediction through better understanding of models and solutions in the context ...
متن کاملMPA: a Stochastic Process Algebra
Process algebras constitute one of the main tools for modeling and analyzing concurrent systems. Unfortunately, with classical process algebras only the functional aspect of the behavior of concurrent systems can be modeled and analyzed. Since the relevance of integrating the performance modeling and evaluation into the process of specification, design and implementation of concurrent systems h...
متن کاملStochastic robustness metric and its use for static resource allocations
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, such systems are expected to function in a physical environment replete with uncertainty, which causes the amount of processing required to fluctuate substantially over time. Determining a resource allocation that acco...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concurrency and Computation: Practice and Experience
سال: 2016
ISSN: 1532-0626,1532-0634
DOI: 10.1002/cpe.3894